Fix :: f (Fix f) -> Fix f